Computer optimization - PDFSEARCH.IO - Document Search Engine

Computer optimization
Results: 3360

#	Item
871	A General Scheme for Automatic Generation of Search Heuristics from Specification Dependencies ∗ Kalev Kask and Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-04-25 16:34:08 Applied mathematics Decomposition method Constraint optimization Search algorithm A* search algorithm Constraint satisfaction problem Local search Heuristic function Constraint satisfaction Mathematics Theoretical computer science Constraint programming
872	Microsoft PowerPoint - Advanced ProgrammingForPrint Add to Reading List Source URL: www.mainerobotics.org Language: English - Date: 2012-09-28 17:29:36 Switches Control flow Software engineering Lego Mindstorms Infinite loop Railroad switch Control theory Lego Mindstorms NXT Loop optimization Computer programming Robot kits Computing
873	Maximizing the Number of Worker’s Self-Selected Tasks in Spatial Crowdsourcing Dingxiong Deng Cyrus Shahabi Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2013-09-13 16:17:57 Operations research Combinatorial optimization Matching Travelling salesman problem Algorithm Assignment problem Dynamic programming Mathematics Applied mathematics Theoretical computer science
874	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
875	Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems Jonathan P. Pearce and Milind Tambe∗ University of Southern California Computer Science Department {, tambe@usc Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-14 04:00:37 Applied mathematics Operations research Distributed constraint optimization Convex optimization Computational complexity theory Constraint satisfaction problem Linear programming Constraint optimization Combinatorial optimization Constraint programming Mathematical optimization Theoretical computer science
876	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
877	The LLVM Instruction Set and Compilation Strategy Chris Lattner Vikram Adve University of Illinois at Urbana-Champaign lattner,vadve @cs.uiuc.edu Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Programming language implementation Compiler construction Data types Type theory Compilers LLVM Pointer Compiler optimization Compiler Software engineering Computing Computer programming
878	Marker-directed Optimization of UnCAL Graph Transformations Soichiro Hidaka1 , Zhenjiang Hu1 , Kazuhiro Inaba1 , Hiroyuki Kato1 , Kazutaka Matsuda2 , Keisuke Nakano3 , and Isao Sasano4 1 Add to Reading List Source URL: www.biglab.org Language: English - Date: 2011-07-11 07:36:54 Function Graph rewriting Graph Monochromatic triangle Mathematics Graph theory Theoretical computer science
879	Advanced Program Analyses for Object-oriented Systems Dr. Barbara G. Ryder Rutgers University http://www.cs.rutgers.edu/~ryder http://prolangs.rutgers.edu/ Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2007-12-23 13:14:29 Subroutines Inline expansion Object-oriented programming Software optimization Compiler construction Call graph Call site Factor Programming Language Design and Implementation Software engineering Computer programming Computing
880	the complete title of one (or more) paper(s) published in the open literature describing the work that the author claims describes a human-competitive result, The Network Operator Method for Synthesis of Intelligent Con Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2013-06-23 23:01:08 Cybernetics Optimal control Computer Function Mathematics Mathematical optimization Control theory

UPDATE